Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
511	cSplash, Event for High School Students, Courant Institute What is the Numerical Halting Problem? Chee Yap Computer Science Dept, Courant, NYU Mar 29, 2008 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Computer science Theory of computation Models of computation Formal methods Alan Turing Computability Halting problem Turing machine Reduction Theoretical computer science Applied mathematics Computability theory
512	Resource Bound Certification Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-01 14:35:06 Computability theory Deduction Proof theory Entailment Logical consequence Metalogic Ordinal number Lambda calculus Ordinal arithmetic Logic Mathematical logic Mathematics
513	Two Lectures on Advanced Topics in Computability Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:17 Complexity classes Computability theory Quantum complexity theory Descriptive complexity Kolmogorov complexity PP FO Function NP Theoretical computer science Computational complexity theory Applied mathematics
514	1 Complexity of Real Approximation: Brent Revisited Chee Yap Courant Institute of Mathematical Sciences Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Theory of computation Hypercomputation Models of computation Computational complexity theory Computability Stephen Smale Algorithm Real computation Complexity Theoretical computer science Mathematics Science
515	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
516	Theory of Real Computation according to EGC∗ Chee Yap Courant Institute of Mathematical Sciences Department of Computer Science New York University April 17, 2007 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-04-17 11:20:36 Theoretical computer science Mathematical logic Computable function Symbol Function Model theory Recursively enumerable set Computability Primitive recursive function Computability theory Theory of computation Mathematics
517	The Language from the Dragon Book in ANTLR Stephen A. Edwards Columbia University 1 Introduction The second edition of the Dragon book1 describes the implementation of a compiler for a little imperative language. This co Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2006-09-21 10:10:22 Recursion Procedural programming languages Computability theory Subroutines Theoretical computer science ALGOL 68 C++ classes ATS Expr Computing Software engineering Computer programming
518	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-09 10:09:21 Computability theory Theory of computation Automata theory Models of computation Church–Turing thesis Algorithm Decidability Finite-state machine P Theoretical computer science Computer science Applied mathematics
519	Microsoft Word - KWL chart.doc Add to Reading List Source URL: www.ncsu.edu Language: English - Date: 2003-02-20 09:23:35 Question Computability theory Models of computation Social psychology KWL table Data management Data collection Grammar Human communication
520	Curriculum Vitae Last name Hölzl Forenames Add to Reading List Source URL: hoelzl.fr Language: English - Date: 2015-03-09 11:03:36 Theoretical computer science Randomness Symposium on Theoretical Aspects of Computer Science Dagstuhl Computability theory Theory of computation Gregory Chaitin Per Martin-Löf Algorithmically random sequence Mathematics Computer science Applied mathematics

UPDATE